nominal type